monadic predicate calculus
一元谓词演算
热门查询
- WPC abbr. 女警官（Woman Police Constable）；世界和平理事会（World Peace Council）
- realization n. 实现；领悟
- force n. 力量；武力；军队；魄力 vt. 促使，推动；强迫；强加 n. (Force)人名；(意)福尔切；(英、法)福斯
- abiotic adj. 非生物的，无生命的
- warp n. 弯曲，歪曲；偏见；乖戾 vt. 使变形；使有偏见；曲解 vi. 变歪，变弯；曲解
- Surinam n. 苏里南
- stretching n. 伸长；展宽 v. 拉伸（stretch的ing形式）
- devourer n. 吞噬者；排出管
- courier n. 导游；情报员，通讯员；送快信的人 n. (Courier)人名；(英、法)库里耶
- Nairobi n. 内罗比（肯尼亚首都）
- tall adj. 高的；长的；过分的；夸大的 adv. 夸大地 n. (Tall)人名；(马里、阿拉伯)塔勒；(芬、罗、瑞典)塔尔；(英)托尔；(土)塔勒
- subtle adj. 微妙的；精细的；敏感的；狡猾的；稀薄的
- glasgow n. 格拉斯哥（英国城市名）
- milker n. 乳牛；挤奶人；挤奶器
- circe n. 荷马史诗<<奥德赛>>中的女魔, 妖精似地引诱男子的女人
- sco abbr. single crossover (genes) 单一的交叉（基因）; subcarrier oscillator 副载波振荡器; sustainer cutoff 主运河
- grifter n. 骗子；小偷
- franz Ferdinand弗朗茨·斐迪南(Francis Ferdinand的德文名)
- Rasmussen 拉斯马森（人名）
- bulletproof adj. 防弹的
